• Verification of a Large Heterogeneous Many-core Computer 

      Gamst, Eivind; Mitacc, Edward (Master thesis, 2016)
      The historical trend of steady increase in processor performance with each technology generation has slowed down during the last years due to power limitations. As transistor sizes reduce, the power density on a chip does ...